#include <bits/stdc++.h>
using namespace std;

int main(){
    int n,m;
    cin>>n>>m;
    printf("%.2f\n",n*m/2.00);
    return 0;
}